/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package gui.incremental;

import java.util.Observable;
import java.util.Observer;
import syntax.ClockConditionAtom;
import syntax.Transition;

/**
 *
 * @author ennouaary
 */
public class TransitionObservable extends Observable{

    private TIOAObservableJDialog frame;
    private Object result;
    private MODIF_TYPE modifType;

    public MODIF_TYPE getModifType() {
        return modifType;
    }

    public void setModifType(MODIF_TYPE modifType) {
        this.modifType = modifType;
    }
    public static enum MODIF_TYPE {
        MESSAGE,
        SRC_LOCATION,
        DEST_LOCATION,
        CLOCK,
        CLOCK_GUARD,
        RESET_CLOCK,
        TRANSITION,
        LOCATION
    }

    public Object getResult() {
        return result;
    }

    public void setResult(Object result) {
        this.result = result;
    }


    public TIOAObservableJDialog getFrame() {
        return frame;
    }

    public void setFrame(TIOAObservableJDialog frame) {
        this.frame = frame;
    }

    public TransitionObservable(TIOAObservableJDialog frame, MODIF_TYPE modifType) {
        super();
        this.frame = frame;
        this.modifType = modifType;
        addObserver(frame);

    }

    public void notifyTransitionChange() {
        setChanged();
        notifyObservers();
    }
}

